$\forall$$a$:$\mathbb{N}$, $b$:$\mathbb{Z}$. (($a$+$b$) {-}{-} $b$) = $a$ $\in$ $\mathbb{Z}$